- импликативная нормальная форма
- Logics: implicative normal form
Универсальный русско-английский словарь. Академик.ру. 2011.
импликативная нормальная форма
Смотреть что такое "импликативная нормальная форма" в других словарях:
ИМПЛИКАТИВНАЯ НОРМАЛЬНАЯ ФОРМА — пропозициональная форма вида где все С i, i=1, . . . , п, имеют вид каждое С ij, i=1, . . ., п; j=1, . . ., т i, есть либо переменная, либо отрицание переменной, и есть логич. символ, обозначающий ложь. Для всякой пропозициональной формулы Аможно … Математическая энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
